Period Selection for Minimal Hyperperiod in Periodic Task Systems
نویسندگان
چکیده
منابع مشابه
Period Selection for Minimal Hyper-period in Real-Time Systems
Task period and deadline selection are often used to adjust the workload to the available computational resources. This paper presents a method for adjusting the periods of the tasks which obtains the minimal hyper-period. Task periods are modelled as a range of possible periods. The selected periods are not constrained to be natural numbers, but can also be rational numbers. Without this limit...
متن کاملLarge minimal period orbits of periodic autonomous systems *
We prove the existence of periodic orbits with minimal period greater than any prescribed number for a natural Lagrangian autonomous system in several variables that is analytic and periodic in each variable and whose potential is nonconstant. Mathematics Subject Classification: 34C25, 37J45
متن کاملTask Period Selection and Schedulability in Real-Time Systems
In many real-time applications, especially those involving computer-controlled systems, the application tasks often have a maximal acceptable latency, and small latency is preferred to large. The interaction between choosing task periods to meet the individual latency requirements and scheduling the resulting task set was investigated in [4] using dynamic priority scheduling methods. In this pa...
متن کاملFractional-period excitations in continuum periodic systems
H. E. Nistazakis, Mason A. Porter, P. G. Kevrekidis, D. J. Frantzeskakis, A. Nicolin, and J. K. Chin Department of Physics, University of Athens, Panepistimiopolis, Zografos, Athens 15784, Greece Department of Physics and Center for the Physics of Information, California Institute of Technology, Pasadena, California 91125, USA Department of Mathematics and Statistics, University of Massachusett...
متن کاملVerifying Periodic Task-Control Systems
This paper deals with the automated veriication of a class of task-control systems with periods, durations, and scheduling specii-cations. Such systems are translated into Periodic Hybrid Automata for veriication. We show that safety, liveness, and time-bounded properties are decidable for the considered systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Computers
سال: 2013
ISSN: 0018-9340
DOI: 10.1109/tc.2012.243